COMMENT ā VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 (de tak (x y z) C00003 ENDMK Cā; (de tak (x y z) (if (le x y) y (tak (tak (1- x) y z) (tak (1- y) z x) (tak (1- z) x y))))